#include<stdio.h>
int main()
{
	char name[100];
	double w,p;
	double total = 0;
	while(scanf("%s %lf %lf",name,&w,&p) != EOF)
	{
		total = total + w*p;
	 } 
	 
	 total = (int)(total*10 + 0.5) / 10.0;
	 printf("%.1lf\n",total);
	 return 0;
}
